real subfield

[数] 实子域